$\forall$$a$, $b$:Id. (locl($a$) = locl($b$) $\in$ Knd) $\Rightarrow$ ($a$ = $b$)